大型挠性充液卫星的动力学模型

研究了带有多个挠性附件和液体燃料贮箱的中继卫星系统的动力学建模问题。给出了微重力下小幅线性晃动等效模型基本参数，用混合坐标法描述中继卫星系统的构形，利用虚功原理推导出的矩阵形式的中继卫星动力学模型简洁且具有一般性，适用于许多开链飞行器系统。     

大曲率弯道和叶栅内的湍流数值模拟

本文在贴体曲线坐标系下应用非交错网格技术，发展了适于求解复杂流动的压力修正算法，采用速度的协变物理分量为动量方程的求解变量，推导得出一个适于任何曲线坐标系下控制单元体界面流通量的插值模式，可以有效地抑制不合理的波动压力场，计算表明，算法稳定收敛，计算值与试验值吻合良好，同时能预示通道内复杂的流动现象。     

有限平板绕流Monte—Carlo方法仿真

本文采用直接仿真Monte-Carlo方法求解有限长平板绕流等问题。本方法是通过计算机跟踪仿真分子的运动来实现数值模拟的。仿真分子间的碰撞计算由统计抽样确定。碰撞模型分别选用了硬球分子模型和负幂律分子模型。仿真分子与固壁作用采用由完全扩散反射和镜面反射按比例混合组成的模型。为了检验方法的可靠性,还计算了激波结构和Rayleigh问题等一维流动,二维计算采用同步并行程序。数值结果表明直接仿真Monte-Carlo方法能够较好地模拟稀薄气体力学中的一些问题。对于二维计算,所花费的机时和所需的内存均在国内机器所允许的范围内。     

现代自然层流翼型的设计方法

本文介绍一种设计跨声速自然层流翼型的计算流体力学(CFD)方法。本方法采用“正反迭代、余量修正”设计原理,通过将跨声速翼型设计软件NPU-TD2D中的反设计程序进行改进,并与含有层、湍流混合边界层修正的跨声速层流翼型计算程序DLRBGKWALZ耦合,实现了在跨声速粘性流动条件下直接设计层流翼型。亚、超临界的设计实例和风洞验证表明,本方法可以在几个设计迭代内设计出压力分布、转捩位置及气动参数均准确收敛于设计目标的新翼型,是一种设计现代自然层流翼型的有效而实用的CFD方法。     

紊流发生器特性和流场的模拟调节

本文探讨了轴对称紊流发生器总压畸变流场的不稳定性,根据流场低压区的时钟位置和大小是否随时间而变化,可分为稳定型和非稳定型两种.对于稳定场,畸变指数测量的重复性较好,非稳定场则较差.文中还介绍了一种简单而有效的流场模拟调节方法.     

级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

基于Depth from Focus的图像三维重建

应用改进Laplacian聚焦算子实现序列图像的融合显示,用高斯插值算法得到图像三维重建中的高度图,并设计一种轮廓线算法对高度索引图进行了三维重建;成功地应用于摄像机拍摄序列图像的三维重建,弥补了摄像机物镜焦深范围有限不能采样清晰大幅图像的不足.理论和实验结果证明,用该方法生成的二维融合图像和三维显示图像,恢复出比较精确的物体表面深度信息,提高了图像的清晰度.     

DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

基于优化最小二乘支持向量机的襟翼趋势预测

将最小二乘支持向量机(LS-SVM)应用于飞机襟翼状态趋势研究。首先,通过分析飞机襟翼故障与襟翼动作耗时参数的关系,提出了利用动作耗时趋势来确定该系统未来状态的方法。然后,使用最小二乘支持向量机建立耗时回归预测模型,采用最终预报误差(FPE)准则确定回归模型嵌入维数,提出了自适应网格搜索法,优化最小二乘支持向量机的建模参数,从而实现比现有方法精度高,泛化性能好的预测模型。训练和测试样本取自飞行数据记录系统(QAR)中译码襟翼参数值。与神经网络模型的比较实践表明,该方法具有实用价值。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.